Contract Driven Agents
نویسندگان
چکیده
We propose, as part of an agent architecture, a system where contracts are represented as first-class entities to allow the relationships between agents to be specified and developed separately from their built-in capabilities. The contracts allow the agent’s problem-solving ability to be augmented by the potential of outsourcing tasks and obligations to other agents. The contracts also allow the agent’s response to requests from other agents to be formally defined. The contracts are represented as event calculus rules which dictate the evolution of obligations and permissions on the agents concerned. The event calculus is used deductively to infer current and past obligations and permissions, and abductively to make plans to fulfil obligations subject to any restrictions imposed by the contracts.
منابع مشابه
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial softwa...
متن کاملAgent driven Peer - to - Peer Cloud Robotics *
Cloud enabled robotics is currently understood as one or many robotic clients making use of the resources and services made available by remote servers placed across the network cloud. These servers provide gateways to access the infrastructure, platform, software, algorithm or process as a service. Tapping into online infrastructure and knowledge saves the cost of carrying all required capabil...
متن کاملVariable Structure Behavioural Controller for Multi-agent Systems
In previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. Application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. The controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main is...
متن کاملRat Races and Glass Ceilings: Career Paths in Organizations
In an ongoing organization, such as a large law partnership firm, employees are motivated not only by current rewards but also by the prospect of promotion, and the opportunity to influence policy and make the rules in the future. This leads to a dynamic programming problem in contract design. We model career design in such a firm as a recursive mechanism design problem in an overlapping genera...
متن کاملA Data-driven Method for Crowd Simulation using a Holonification Model
In this paper, we present a data-driven method for crowd simulation with holonification model. With this extra module, the accuracy of simulation will increase and it generates more realistic behaviors of agents. First, we show how to use the concept of holon in crowd simulation and how effective it is. For this reason, we use simple rules for holonification. Using real-world data, we model the...
متن کاملA Novel Charging Plan for PEVs Aggregator Based on Combined Market and Network Driven Approach
With the large-scale production of plug-in electric vehicles (PEVs), a new entity, the PEV fleet aggregator manages charging and discharging processes of the vehicles. The main objective of an individual aggregator in interaction with electricity markets is maximizing its profit. In this paper, the performance of this aggregator in day-ahead and real-time electricity markets, considering (a) cu...
متن کامل